Backtracking and cut. Finally, we will illustrate the process of converting predicate calculus formula to Horn clauses using PROLOG program. 匹配归结、回溯和cut控制等,并介绍了应用PROLOG程序将谓词公式转换为Horn子句的过程。
An industrial process control system is used to illustrate our model and method. Duration Calculus, a real time interval logic, is utilized to specify some characters of the model and develop control program for the exemplified system. 我们以一个工业过程控制的实例来说明我们的方法和模型,采用时段演算来描述系统的特性并进行控制器的开发。
Recurrence Calculus Method and Computer Program for Dynamic Response of Spindle Systems in Machine Tools 机床主轴系统动态响应的递推计算法及电算程序
Simplified calculus program of some classical limit problems 若干经典极限问题推演程序的简化
The paper uses finite difference calculus to do numerical calculation on electric potential in two-half-conductor spheric shell by compiling computer program of MATLAB language. Comparing with the results of analytical solution, the relative errors between them are very little. 运用有限差分法并通过MATLAB编程对两半导体球壳内的电位进行了数值计算,与解析解结果比较,其相对误差很小。
On Refinement Calculus with Program Window Inference 基于程序窗口推理的精化演算
In this paper, we study two-conductor uniform transmission lines which are excited by arbitrarily-shaped signals in terms of the operational calculus method, and write a computer program for Smith chart with FORTRAN 77. 本文应用运算微积法研究任意形状信号激励下的双线均匀传输线,同时用FORTRAN77语言编写了史密斯圆图的计算机程序。